Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
211	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
212	Oscillatory integrals Jordan Bell Department of Mathematics, University of Toronto August 4, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-08-04 16:42:06 Operator theory Ordinary differential equations Integral calculus Integration by parts Spectral theory of ordinary differential equations Functional analysis Decomposition of spectrum Mathematical analysis Spectral theory Mathematics
213	Scheme Flow Analysis Lastref information provides just enough information to disentangle the multiple environments that can be created over a given variable. If we had lastref information, we could, for example, correct Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Control flow Lambda calculus Subroutines Functional languages Lisp programming language Closure Lisp Continuation-passing style Scheme Software engineering Computing Computer programming
214	Down with the bureaucracy of syntax! Pattern matching for classical linear logic Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-02-04 11:56:16 Logic Natural deduction Curry–Howard correspondence Symbol Sequent calculus Sheaf Orbifold Holomorphic functional calculus Proof theory Mathematics Mathematical logic
215	Cellular Automata and Nonperiodic Orbits Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:57 Operator theory Holomorphic functional calculus
216	Proof by bootstrapping Jordan Bell Department of Mathematics, University of Toronto May 4, 2015 The Oxford English Dictionary defines “to bootstrap” as the following: Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2015-05-05 10:33:25 Operator theory Functional analysis Spectral theory Multivariable calculus Partial differential equation Distribution Hilbert space Heat equation Theorems and definitions in linear algebra Mathematical analysis Mathematics Calculus
217	SHACC A functional animator for a component calculus André Martins, Luís S. Barbosa and Nuno F.Rodrigues SHACC - tool Add to Reading List Source URL: calco2011.ecs.soton.ac.uk - Date: 2011-09-19 15:21:36
218	PDF Document Add to Reading List Source URL: hpiers.obspm.fr Language: English - Date: 2012-04-12 10:21:03 Functions and mappings Differential calculus Integral calculus Functional analysis Integral Lebesgue integration Differential equation Improper integral Real analysis Mathematical analysis Mathematics Calculus
219	PDF Document Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:43:06 Computing Functional languages Logic in computer science Lisp Combinatory logic ML Normalization property Scope Lambda Programming language theory Software engineering Lambda calculus
220	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-11-19 17:25:51 Subroutines Functional programming Lambda calculus Type theory Object-oriented programming JavaScript Closure Apply Type system Software engineering Computing Computer programming

UPDATE